Limit of cos(1